Post #1407246

@maxsnew We may be talking about different guys but in this instance: someone I have cited more than a few times for their great NbE-related work and its application to termination checking. Hence why I even bothered to have a look to try to see what brought us here.