Note how this kind of argument bites directly only on those categories that do have physical effects. It places no immediate constraints on categories that lack any such effects, which arguably include the mathematical and modal realms, and perhaps the moral realm.  We shall return to the question of whether there are any further reasons for ontologically naturalist views about such putatively non-efficacious categories in sections 1.7 and 1.8 below.