math to "verify" a bug fix, just what i needed to know, code review is still the best verification https://www.reddit.com/user/james_haydon