6.0: Abstraction and Modeling