If predicates carve nature at its joints, semantic irreducibility indicates genuinely distinct prope...
This proposition has not been edited since the history system was added.