It is known (see [1]}) that \(\mathsf {M}\)  does not preserve weak pullbacks, and in particular we cannot assume that the relation \(R_M\)  is transitive. The proof of the following result can essentially be found in Theorem 8.25 of [2]}We thank Clemens Kupke for pointing out this reference.
