2-3 Abstraction and Decomposition