XOR refinement, commenting