[math-fun] Neutron stars are superfluid, superconductor?