User:Second Quantization/Hume