Working through introductory pomp exercises