FIGURE 4.1 The Abstraction Ladder