fixed lemma conjunction code