here formula_39 take values in formula_43, and formula_154 denotes the sum modulo two. it can be verified that the chsh value of this box is 4 (as opposed to the tsirelson bound of formula_49). this box had been identified earlier, by rastall and khalfin and tsirelson.