De lo contrario, formula_33 es un estado entrelazado.