tn . \ & x.y » x \-