All the books, all the proofs!