Remark that ^ is xor.