not required for or(), add xor and without tests