To accomplish this goal, Kant argued that it would be necessary to use synthetic reasoning. However, this posed a new problem: how is it possible to have synthetic knowledge that is not based on empirical observation; that is, how are synthetic a priori truths possible? This question is exceedingly important, Kant maintains, because he contends that all important metaphysical knowledge is of synthetic a priori propositions. If it is impossible to determine which synthetic a priori propositions are true, he argues, then metaphysics as a discipline is impossible. The remainder of the "Critique of Pure Reason" is devoted to examining whether and how knowledge of synthetic a priori propositions is possible.