In this section are a few problems from the set0 problem set which comes with your distribution, which have been annotated to make clear the intent of all the statements. Only the first of these is given in gory detail. For the others, we simply indicate the relevant portions. Sometimes parts of the problem are included here for their content to be read as well as their syntax explained.
Before giving those problems, we want to indicate how one proceeds from concept to a finished problem.