In reality, you would seldom want to write just the contract, or just the examples, of a
function. Much more common is to go through all the steps for a single function, then
go through all the steps for another function. In this section are several more functiondefinition
exercises: for each one, go through all the steps of the design recipe.