loading proofs