Finish example 9 and update notes.