 It seems obvious that for every true contingent proposition there must be something in the world (in the largest sense of “something”) which makes the proposition true. For consider any true contingent proposition and imagine that it is false. We must automatically imagine some difference in the world. (Armstrong 1973: 11) 