Analytic_proposition