I think there's a proof that he can at best asymptotically approach volume 7.
but what distraction could it be now? There seems to be nothing to be done for TeX
alt Hacker News
but what distraction could it be now? There seems to be nothing to be done for TeX