first-order quantization