His work was extremely important and while he didn't prove the conjecture per se, he certainly moved the effort forward giant steps. Thanks so much for that! I'd have completely missed it.