The Leap from Patterns to Formulas