make some lemmas easier to compose