Cosmological heavy-neutrino problem.