Tsirelson's_bound loading ...