 As long as \(\mathcal{A}\) is locally countable (i.e., no test \(E\) in \(\mathcal{A}\) is uncountable), every state can be represented as a convex combination, in a suitable sense, of extreme states (Wilce [1992]). Thus, every state of a locally countable semi-classical test space has a classical interpretation.