Possible worlds are individuated by maximal consistent sets of propositions, and consistency is cons...