Add everything but one sub-lemma