If subsystems must match composites on every observable, we collapse the freedom KS exploits to avoi...
This proposition has not been edited since the history system was added.