This section provides a program that instructs the user in the basic elements
of strategy for building a deduction for an argument, and, in addition, also
gives the user practice in learning the rules of deduction. The program gives
a score for each problem, as well as a score for the whole session.