The universe of discourse consists of denumerably many individuals, each of which is designated by its own constant symbol; such individuals are meant to be regarded as positions ("like space-time points in our actual world") rather than extended physical bodies.