But though sometimes I have heard Lewis say that here he simply is giving a stipulative definition and remember, in addition, that Lewis has his own very special sense of the term 'possible worlds' presumably, in one sense, it is supposed to represent a thesis or discovery having something to do with traditional uses of the term 'proposition'.