  In models the domain of intensions is to be some non-empty set of functions from states to objects. We have deliberately left vague the question of which ones we must have. There are some conditions we might want to require. Here are some considerations along these lines, beginning with a handy abbreviation.