restored high-level integrity of proof