I thought it was awesome that Max Lieblich gave a talk called “A counter-counterexample example,” but perhaps it’s even better that he’s giving two talks at Stanford this week, the first called “The Tate Conjecture and finiteness of K3 surfaces” and the second “Finiteness of K3 surfaces and the Tate conjecture.”
Also, the running head on the paper is in German!
There’s a famous CS paper titled “Why Functional Programming Matters”, which someone followed up with the brilliantly titled “Why Why Functional Programming Matters Matters”:
http://weblog.raganwald.com/2007/03/why-why-functional-programming-matters.html
(I’m actually willing to go as far as “brilliant” because the title (1) is hilarious and (2) tells you what the post is about.)