Vemos que formula_90 es la condición de dictadura, mientras que formula_94 es la de ser decisivo.