Agreed, update all-or-none component numerator membership formulas to: define "ComponentMeasure1 Numerator Membership": // Repeat for each component    ComponentMeasure1."Denominator Membership"      implies ComponentMeasure1."Numerator Membership"   And note that if "for which they are eligible" is interpreted as the initial population, then that would mean: define "ComponentMeasure1 Denominator Membership":   ComponentMeasure1."Initial Population"     implies ComponentMeasure1."Denominator Membership" and define "ComponentMeasure1 Numerator Membership":   ComponentMeasure1."Initial Population"     implies (ComponentMeasure1."Denominator Membership"       and ComponentMeasure1."Numerator Membership")    And add explanatory text: "Consider the example of a composite that includes a breast cancer screening measure and a colorectal cancer screening measure. For an individual that is male, they are only eligible for the colorectal cancer screening measure, so the fact that they do not appear in the denominator or numerator of the breast cancer screening measure should not remove them from the numerator of the composite measure." Provide a brief explanation of "implied": Note that implies is a logical operator within CQL. "X implies Y" roughly translates to narrative text as "if X is true, then Y must be as well" And a link to a definition of implies in CQL: https://cql.hl7.org/09-b-cqlreference.html#implies