donde formula_10 es el conjunto de eventos del juego.