The new quantization rule was assumed to be universally true, even though the derivation from the old quantum theory required semiclassical reasoning. (A full quantum treatment, however, for more elaborate arguments of the brackets, was appreciated in the 1940s to amount to extending Poisson brackets to Moyal brackets.)