this swamp of unbalanced formulas