Checking formulas for errors