Lewis's possible worlds semantics selects counterfactual worlds by similarity metrics that presuppos...