Valid counterexamples work regardless of property schemes; scheme-dependence shows the gap exists, n...
This proposition has not been edited since the history system was added.