x ` ≠ x ` = x ` = x `