Standard mereology provides determinate identity conditions for wholes based on parts, enabling rigo...
This proposition has not been edited since the history system was added.