Proof_texts loading ...