This chapter focuses on the routes that Kant proposes for seeking a solution and his reasons for taking them. Kant is not only seeking how metaphysical judgments can be verified; he is inquiring how any synthetic a priori judgments whatever can be verified, geometrical judgments also, for instance. Commentators on Kant cannot ignore that he projects Transcendental Logic and Transcendental Aesthetic by the clue of formal logic. Kant is trying to find how metaphysical knowledge can be obtained. Kant holds that the judgment by which the concept of lonely is connected with the concept of bachelor is verified by finding what is thought by these concepts contained together in the observation of the subject of the judgment. Kant declares that his aim is not to give an account of knowledge generally, but only to find how metaphysics can attain knowledge. Kemp Smith, however, writes that Kant is the real founder of the Coherence theory of truth.