El estado formula_17 se denomina "vacío" formula_18