x ≠ x ˇ = x ˇ = x ˇ