x ≠ x ˆ = x ˆ = x ˆ