( t !t !S6)