revert back to lemma