Petrine_proof_text loading ...