The functor Shape from ḞḢTrans to Fam reflects pullbacks.