This essay is an attempt to create some model theory specific for the context of a type being omitted.