Let us now turn to the second issue flagged above. How far do methodological naturalists in fact need to allow that modality—and mathematics and first-order morality—do have a different status from the synthetic a posteriori character they attribute to philosophy in general?