fixing proofs