Debugging XOR