Modeling and verifying
Topics 7.1 and 7.2 focus on translating language like 'the rate of change is proportional to the quantity' into dy/dt = ky, and then checking whether a given function satisfies the equation by differentiating and substituting back in.