Re-oriented two-pullback diagrams to match paper.