Update proof.cpp