Fix proofs