Analytic proposition