Lemma forking