It is not the case that The appearance of contradiction in relative identity cases thus reflects equivocation in the application of predicates across sortals, not a genuine violation of substitutivity.
?Set your confidence on the premises below to see your aggregate.