After short comments on my early addenda to BCS — gauge invariance and the Anderson–Higgs mechanism, the dirty superconductor "theorem," and the spinor representation — I focus on the interaction mechanisms which cause electron–electron pairing. These bifurcate into two almost non-overlapping classes. In order to cause electrons to pair in spite of the strong, repulsive, instantaneous Coulomb vertex, the electrons can evade each others' propinquity on the same site at the same time either dynamically, by retaining Γ0 (s-wave) relative symmetry, but avoiding each other in time — called "dynamic screening" — or by assuming a non-symmetric relative wave function, avoiding each other in space. All simple metals and alloys, including all the (so far) technically useful superconductors, follow the former scheme. But starting with the first discovery of "heavy-electron" superconductors in 1979, and continuing with the "organics" and the magnetic transition metal compounds such as the cuprates and the iron pnictides, it appears that the second class may turn out to be numerically superior and theoretically more fascinating. The basic interaction in many of these cases appears to be the "kinetic exchange" or superexchange characteristic of magnetic insulators.