4 In the case of non-identical truths, too, there is a priori proof drawn from the notion of the terms, " though it is not always in our power to arrive at this analysis," 5 so that the question arises, specially in connexion with the possibility of a calculus, whether the contingent is reducible to the necessary or identical at the ideal limit.