hopefully correct statement for the sanity check lemma.