Instead of solving a problem using one large code segment, we can base that solution off of the solutions of smaller sub-problems. This is often referred to as modularity. This helps to manage the complexity of the program and can be done in the form of what type of abstraction