Find an invariant, then complete a Claim-Evidence-Reasoning