Proof_system loading ...