It is a striking phenomenon of formal maps between real-analytic hypersurfaces that in many circumstances they actually converge. In recent work with Nordine Mir, we were able to characterise (in a suitable sense) divergent maps, leading to many new convergence results. We will discuss these recent results.