Type-level laws may be necessary but insufficient for explaining tokens when initial conditions are ...
This proposition has not been edited since the history system was added.