Bugs in formulas