Add a helper composition lemma