Analytic_proposition loading ...