Anfonwch hwn fel neges destun: Axiomatic description of mixed states from selinger's CPM-construction