Working on an example for RWH, chapter 4