"A superconductor of any kind is nothing more or less than a material in which a particular symmetry of the laws of nature, electromagnetic gauge invariance, is spontaneously broken. ... These rotations act on a two-dimensional vector, whose two components are the real and imaginary parts of the electron field, the quantum mechanical operator that in quantum field theories of matter destroys electrons. The rotation angle of the broken symmetry group can vary with location in the superconductor, and then the symmetry transformations also affect the electromagnetic potentials ... The symmetry breaking in a superconductor leaves unbroken a rotation by 180°, which simply changes the sign of the electron field. In consequence of this spontaneous symmetry breaking, products of any even number of electron fields have non-vanishing expectation values in a superconductor, though a single electron field does not. All of the dramatic exact properties of superconductors – zero electrical resistance, the expelling of magnetic fields from superconductors known as the Meissner effect, the quantization of magnetic flux through a thick superconducting ring, and the Josephson formula for the frequency of the AC current at a junction between two superconductors with different voltages – follow from the assumption that electromagnetic gauge invariance is broken in this way, with no need to inquire into the mechanism by which the symmetry is broken."