Update proof.h