Diagnosing missing solution, and a bit of refactoring.
Section 17.3 done, so add links in README.