Ted Sider writes that "many are impressed with the utility of possible worlds in linguistics and philosophy", and this is true, in particular, of those with an interest in modal logic. However, in the midst of the marvelous ...