I am not sure how the AND NOT is being evaluated in Bonnie. I added a procedure for Other Cardiac to satisfy the AND NOT statement, but it is highlighting in red with an *. I expected that piece of the logic to highlight to Green, since it is true. Can you provide more information on how this works? I am in account coreverify@jointcommission.org, Measurement That Matters (CMS621v0), Test Patient *Denom AND NOT Other Cardiac SD