(T with delta (2)(1).Y => T(1)(2).X)
