One more weakening lemma.