This entailment holds under standard possible-worlds semantics as defended by Lewis, making the purp...