It contains the cleverest proof in all of abstract reasoning.

• 它包含着各种抽象理论中最精美的论证。