A goal in writing procedures:
Write a procedure in a general enough way that it can be used for many different purposes.
Example: make-verifier from chapter 5.