post: xor