A system for verifying and correcting errors after translation of printed text into machine-readable text. The system includes a memory for storing formulas defining relationships between data fields. A processor evaluates the formulas according to data values associated with the data fields to determine whether the formulas evaluate as truthful statements. The processor marks the data fields of the formulas as unverified or as verified based upon this evaluation. The system also uses the processor to calculate a determined value for data fields in an attempt to correct errors in the translation of the printed text into machine-readable text. If different determined values are calculated for the same data field, based upon different formulas, the data field is marked as uncertain. The system iterates based upon the marking of the data fields of the formulas as verified or unverified and as uncertain or not uncertain.