need to find common lemmas