update for proof