Worked some more on Dold-Kan.