The need to employ these auxiliary operators arises because all classical observables commute. Now we seek L ^ ^ in the form L ^ ^ = L ( x ^ ^ , λ λ ^ ^ x , p ^ ^ , λ λ ^ ^ p ) . Utilizing KvN algebra, the commutator eqs for L can be converted into the following differential equations: