Claims 1–3, given transitivity and symmetry of numerical identity, logically imply the denials of cl...