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. Kant divides all judgments into empirical judgments and a priori judgments. Kant holds that the failure of metaphysics hitherto to yield authoritative results cannot be remedied by devising methods for making observations which would serve to verify its conclusions. Kant recognizes that logic determines not only what formal relations obtain among judgments but also how these relations affect their truth or falsity. Kant not only holds that we know by the principle of contradiction that if one judgment is the contradictory of another, they cannot both be true. Many commentators fail to discover Kant's solution to this problem or fail even to look in the Critique for any solution to it because they fail to grasp the distinctions by which Kant formulates it.