Recognizing Accounting Formulas