Finish proof