Without assuming type-repeatable states across agents, causal laws become agent-relative, underminin...
This proposition has not been edited since the history system was added.