Pongamos, por ejemplo, que han escogido el estado formula_3 .