More work on the example.