Formal perturbation theory