Second quantization