weakening on lemmas.