s=s- ( T ; tss t : a T: