Corrected long-time outer approx mistake

I didn’t correctly shrink to the outer approximation of m. Next step is
to optimize it