The proof is in