Preorden formula_17