Keeping lemma property to maintain compatibility