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