Plans for Week 3 (Don Smith)

   Need to fix proverD.pl so it correctly handles first-order formulas.
The problem may be inherent to the way I combine focussing and
Dyckhoff's techniques.

   Need to write code to check first-order proof terms.