"Any necessary truth, whether a priori or a posteriori, could not have turned out otherwise."