analytic proposition