Equation Tie-Outs as a Self-Check While Journalizing