stronger version of lemmas