If propositions need not exist at worlds where they have truth-values, the inference to possible exi...