In this supplementary segment we look at another example of specification based on an example in Woodcock and Davies' excellent text book