x ≠ x = x = x