( t 2 4)