Finish writing up example from section 17.8.1