finally figured out the pullback lemma