x ≠ x ` = x ` = x `