x ≠ x ˜ = x ˜ = x ˜