Proof_test loading ...