Denying pre-measurement properties doesn't eliminate the constraint—Γ1 and Γ2 derive contradictions ...
This proposition has not been edited since the history system was added.