[nyc111]

> You can make any proof as short as you want.

If so why did Wiley choose to write a 200 page proof while he could have stated it in one sentence?

[Retra]

Because he was writing for a specific class of predetermined parsers, rather than an arbitrary one which was optimized for his proof.