The counterfactual account of proposition truth-conditions fails for propositions that are too compl...