Suggestion from reviewing the spec with Hayden, who can provide more context/details on this. We suggest using groupers to achieve the goal of having separate observations for each independently useful assertion. Groupers can work similar to implications, where specific types of groupers can provide additional information, depending on the profile they exist in. That way there'll be an observation for an independently useful assertion.