 Interest in the project of deriving quantum theory from axioms with clear operational content was revived by the work of Hardy (2001 [2008], Other Internet Resources). Significant results along these lines include the axiomatizations of Masanes and Müller (2011) and Chiribella, D’Ariano, and Perinotti (2011). See Chiribella and Spekkens (2015) for an overview of this burgeoning research area.