Fuchs shows that the examples in the Hayes and Jones paper, "can be directly translated into executable form on almost the same level of abstraction, and without essentially altering their structure." Much of that paper is focused on demonstrating how to transform the Hayes and Jones examples into an executable form that does not radically lower the abstraction level.