Updated Lemma interface