Abstraction and Modeling Updated