Added solution to Ex. 1.19, plus formatting changes.