( T2 ’ 3)