S’ = T(S, tx)

S’ = T(S, tx)