Hyperproof provides an excellent framework for introducing students to logic and formal reasoning. The diagrams help students view logic as a tool for problem solving, rather than as a mere system for symbolic manipulations. The program focuses on systematic proof development through a small collection of inference rules and basic proof techniques. The result is a tool with which students cover more material and appear to gain deeper understanding of logic and formal proof.