Ts Logic