"Linda, Linda, the proofs are in!"