  In this paper dedicated to the memory of Walter Philipp, we formalize the
rules of classical$\to$ quantum correspondence and perform a rigorous
mathematical analysis of the assumptions in Bell's NO-GO arguments.
