Higher-level kinds may supervene on and be reducible to physics without one-to-one mapping; many-to-...
This proposition has not been edited since the history system was added.