( t 7 3)