Superconductivity, antiferromagnetism, and neutron scattering