The functor Erase is pullback-reflecting. Consequently, the parallel composition square is a pullback in Ōrn, and the functor Ind is pullback-preserving.