Assignment 6: Abstraction and Modeling