Preorden formula_1