How to derive the Hilbert-space formulation of quantum mechanics from purely operational axioms.