finished pred proof