. . . "Now, the idea that correspondence to fact is the test of truth implies that we are capable of knowing fact, and, hence, truth." .