2-theories Test X → Y. 1