More work on examples.