{1,8} xor :- {8,2} xy.