Numerical identity ('a = a') is a purely logical relation that holds between an entity and itself pr...