Add theorem that says the tests pass.
Stylistic improvement to the xor function.