Ramana Kumar comments on Time in Cartesian Frames

[Ramana Kumar]

It suffices to establish that $\text{Ensure}\left(C_{T_i}\right)\supseteq \text{Ensure}\left(C_{T_j}\right)$

I think the $T_i$ and $T_j$ here are supposed to be $V$ and $U$