Projecting KvN dynamical eq onto the common eigenvector of the operators x ^ ^ and λ λ ^ ^ p (i.e., x λ λ p -representation), one obtains classical mechanics in the doubled configuration space, whose generalization leads to the phase space formulation of quantum mechanics.