For the past few decades operator systems and their C*-envelopes have provided an invaluable tool for studying the theory of C*-algebras and positive maps. They provide the natural context in which to study the theory of ...