ch3 up to lemma 3.19