Adding a new account type required one new file, zero changes to existing code - Each class was self-contained and testable independently - The inheritance hierarchy eliminated duplicated code (common operations defined once in BankAccount) - Polymorphism through interfaces allowed generic reporting