for game in get_games():
        for formula in game.get_formulas():
            if not Formula.get(formula):
                Formula.add(formula)