Started Chapter 10. Completed contracts for formal functions.