Add comments for solve().