  The formula \(\forall f\exists xD(f, x)\) is valid in FOIL models as described so far. It simply says intensions always designate. On the other hand, there is no a priori reason to believe that every object is designated by some intension, but under special circumstances we might want to require this. We can do it by restricting ourselves to models in which we have the validity of