The first step which Kant takes in order to find how metaphysical judgments can be verified is to argue that metaphysical judgments are a priori and synthetic. This step he takes in the Introduction to the Critique. On this step every subsequent step is dependent. Kant's argument in this step would seem to be quite evident. Yet commentators go astray at this first step in a variety of ways. 1 In order to avoid their pitfalls, we shall clarify in this chapter what Kant means by a priori judgments and by synthetic judgments and why he holds that metaphysical judgments are both a priori and synthetic. From this it will become evident in what way this step contributes to finding how metaphysical judgments can be verified.