Dorothy Zeiser shows an applet for teaching proofs.