A little progress on the example