x + y ≠ 0