Proof_theory loading ...