 Current structured proposition accounts arose largely out of dissatisfaction with the idea that propositions are sets of possible worlds (or functions from worlds to truth values). In fact, there were at least two quite distinct motivations for abandoning the view of propositions as sets of worlds and adopting the structured proposition account.