The claim conflates 'having matching outcomes' with 'admitting simultaneous value assignment'—distin...
This proposition has not been edited since the history system was added.