 Second, while (MA) has been presented as an alternative to (CA), (CA) is arguably just one particular version of (MA). For, as noted above, (CA) appeals to a subjunctive conditional, and the standard semantics for the subjunctive conditional (developed in slightly different ways in Stalnaker 1968 and Lewis 1973) is told in terms of quantification over possible worlds. Specifically (on Stalnaker’s version) a subjunctive conditional is true just in case its consequent is true at the world where its antecedent is true that is otherwise maximally similar to the actual world. In these terms, (CA) is roughly equivalent to the following: