Lol. Proofs. Now.