add better DR practice exercises, by having students practice writing four contracts, THEN four sets of examples, THEN four definitions