Leibniz is an alternative front end for Mathematica designed for use in education. Leibniz is a text and an equation editor that can perform calculations via a simple and elegant drag-and-drop interface. This brief talk will present some of the ideas underlying the Leibniz system, including the use of pattern matching in simplifying the interface and various techniques used to control and manage the evaluation of expressions in calculations.