Analytic_proof loading ...