Re: [math-fun] neutron stars are superconductive? superfluid?