Exercise 6: Abstraction and Modeling