Wow, that was somehow one of the hardest-hitting articles I've read in a while. It's like constructing a huge lemma and then using it in a one-liner proof of a

Wow, that was somehow one of the hardest-hitting articles I've read in a while. It's like constructing a huge lemma and then using it in a one-liner proof of a completely unrelated theorem.