It is not the case that Extensional Mereology's principle that identity follows from sameness of parts (principle P.5 and its consequence principle 27) is too strong and imposes an incorrect constraint on the parthood relation.
?Set your confidence on the premises below to see your aggregate.