  The operational axiomatization of quantum theory can be regarded as a set of
six epistemological rules for falsifying propositions of the theory. In
particular, the Purification postulate-the only one that is not shared with
classical theory-allows falsification of random-sequences generators, a task
unfeasible classically.
