the search for necessary truths, truths that are not only true, but they couldn't have been false.