Although it's not essential to the project at hand, let's slightly modify the usual notion of modelhood. Sense-bearing languages can contain empty designators, a phenomenon that was idealized away by the notion of modelhood just introduced.