I wonder if he means what I think he means, which is that a concept that is for some field all-encompassing in your mind takes 400 pages to write down in a way

I wonder if he means what I think he means, which is that a concept that is for some field all-encompassing in your mind takes 400 pages to write down in a way that translates your ideas. University group theory is like that, when the real objective may just be to show that you can't circle the square.