axiom of quantization