, t1 t1 ^ te.