\Dg X(s)\times |u| & & \rOne ^{(f_{s\to t},\pi _2)} & & X(t)\times |u| \\ & \rdTo <{f_{s\to u}} & & \ldTo >{f_{t\to u}} \\ & & X(u) \\ \endDg