The proofs are in!