x ⊕ z = y