reorder rules t,u,v in Fig 3.3 to match syntax