4.1.17 Thinking Abstractly