For any snapshot with c(u, S) = t, a simulation with T(u, S) = t can be constructed.