U (T 'x')