[math-fun] Question about XOR