more lemmas from last night