quantization, Kolmogorov's theorem,  uniform semiclassical 
estimates