In this and subsequent chapters we shall explore the first successful microscopic theory of superconductivity, which was published in 1957 by Bardeen, Cooper and Schrieffer [1]—the bcs theory. We shall use the compact formalism of second quantization. Readers not already familiar with it will find a brief introduction in the Appendix.