Wigner functions, and other quasi-probability distributions, have been an important tool in quantum optics for a long time. A quasi-probability distribution is a representation of a quantum state with certain properties. In particular it is a real-valued representation of the state. Of particular interest are states for which a Wigner function is non-negative. Spekkens showed such sets of state...