  The mathematical formulation of Quantum Mechanics is derived from purely
operational axioms based on a general definition of "experiment" as a set of
transformations. The main ingredient of the mathematical construction is the
postulated existence of "faithful states" that allows one to calibrate the
experimental apparatus. Such notion is at the basis of the operational
definitions of the scalar product and of the "adjoint" of a transformation.
