9.17 Examples

To be done...