Давайте пробовать всё более сложные вещи, чтобы они не могли назвать нашу победу лёгкой. Давайте пробовать всё более изысканные вещи, чтобы хайп выглядел безвкусным. Давайте попробуем редукцию доказательства, чтобы они знали, что "соотношение длины доказательства к соотношению сложности" — это чушь. Давайте будем страусами и вперёд. Я чертовски люблю историю аутсайдера.