everything but lemma 16