fixing broken proofs