ха-ха: цитата из Mathreview

[vanja_y]

Lemma 7.11 takes eighteen pages to state. Definition 7.12 is somewhat longer, and it is far and away the most complex definition this reviewer has ever seen.