Finish proof maintenance.