Textmeddelande: Axiomatic description of mixed states from selinger's CPM-construction