But Gilbert Harman and Robert Stalnaker have pointed out to me that Lewis can easily explain in his apparatus why we can validly infer from a self ascription to a self ascription entailed by it: it is simply a matter that one who self ascribes the property of being in a set of possible worlds is thereby committed to selfascribing to himself the property of being in any larger set of possible worlds.