En el esquema, si formula_1, y