S = a T)