 Once the metaphysical and epistemic issues are separated, it becomes less obvious that mere matters of meaning could really explain all necessities. Recall that Frege’s ambition had been to reduce mathematics to logic by showing how, substituting synonyms for synonyms, every mathematical truth could be shown to be a logical one. He hadn’t gone on to claim that the logical truths themselves were true or necessary by virtue of meaning alone. These were “Laws of Truth” (Frege, 1918/84:58), and it wasn’t clear what sort of explanation could be provided for them. Obviously, appealing merely to further synonym substitutions wouldn’t suffice. As Michael Devitt (1993a) pointed out: