proofs were upgraded