kill some more lemmas