Langan himself has showed up graced the comment section with his benevolent presence!

The CTMU is not conjectural, but a lock. So as much as I’d like to humbly efface myself in an outpouring of false modesty, I’ll merely point out that arguing with the CTMU amounts to undermining one’s own argumentation, whatever it may be. People have been trying to get over on the CTMU for the last 35 or so years, and not one has ever gotten to first base. This was not an accident. If you think you see a mistake or critical inadequacy, the mistake and the inadequacy are almost certainly yours.