  We expand on a recent development by Hardy, in which quantum mechanics is
derived from classical probability theory supplemented by a single new axiom,
Hardy's Axiom 5. Our scenario involves a `pretend world' with a `pretend'
Heisenberg who seeks to construct a dynamical theory of probabilities and is
lead -- seemingly inevitably -- to the Principles of Quantum Mechanics.
