User blog comment:Alemagno12/Proof of termination of Pair Sequence System (BM2)/@comment-30754445-20180709025545/@comment-30754445-20180709034521

I've learned something new today

(that "immediately" in Spanish is indeed written with "nm")