Use ideal xor