Local commutativity is a postulate we impose; showing it entails Tsirelson bounds doesn't explain wh...
This proposition has not been edited since the history system was added.