9.2.1 Abstracting Further