Change reflexivity lemma name.