Another piece of the proof that pullbacks are pullbacks