Abstraction and Decomposition