Did all the examples in section 9.6