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