If ad hoc sortals were permitted, any putative contradiction generated by relative identity could be...