This title is David Lewis's presentation of and sustained argument for a particular view about propositions which express contrary-to-fact conditionals, including his infamous defence of realism about possible worlds.