Improve the examples to demonstrate that a a small program can be written using the given notational framework.