(_, _) -> _

xor

return