add last proof