: s S = t s 3 5 5 = 5 -t