three cases of record lemma done