fixed the convergence test, implemented and wrote about numerical exact BE