The explanatory work attributed to type-identity can be fully discharged by similarity relations amo...