If two sortals yield divergent but non-contradictory identity conditions, no logical bar prevents th...