Y, ciertamente, (C I "x" "y") se reduce a ("y" "x"):