The image of the square of parallel composition in the category ḞḢTrans is a pullback.