Formalmente, formula_19 es un plan para formula_20 si formula_21 satisface: