This is a more technical continuation of our talk of October 1. In this talk we will introduce Tsirelson's non-commutative cubes, which are abstract operator systems, discuss thier connections with the non-signalling boxes of last talk and then give several different characterizations of these operator systems. This will allow us to prove that to answer Tsirelson's questions it is enough to consider the tensor product of NC(3) with itself.