Extensional Mereology's principle that identity follows from sameness of parts (principle P.5 and it...