( t ^ tn CL ^cr