pullbacks are indeed pullbacks
Some cleanup