lemma now 24, times 4