formula_57 vota (formula_58) y todos en formula_59 votan (formula_60).