Making great progress on solve().