  Interpretational problems with quantum mechanics can be phrased precisely by
only talking about empirically accessible information. This prompts a
mathematical reformulation of quantum mechanics in terms of classical
mechanics. We survey this programme in terms of algebraic quantum theory.
