Preorden formula_9