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

-- Saul Kripke