fix proofs