Funny Bugs in formulas