Proofs that are about the length of a tweet. Jack Dorsey is the creator of Twitter. We thank him for the creation of of tweets, which are of course messages of up to 140 characters in length. Today Ken and I wish to talk about very short proofs—proofs that could almost fit into a single [...]