 Starr (2014: 1049) argues that this makes it inconsistent for a similarity theorist to regard this as a  counterexample to  SDA. On a similarity analysis of the could claim, it follows that there are no worlds in which Spain fought for the Allies most similar to the actual world: \(f(w_@,{\llbracket}\mathsf{Allies}{\rrbracket})={\emptyset}\). But if  that’s the case, then  (29b)  is vacuously true on a similarity analysis, and so a similarity theorist cannot consistently claim that this is a case where the premise is true and conclusion false. It is, however, too soon for the strict theorist to declare victory. Nute (1980a), Alonso-Ovalle (2009), and Starr (2014: 1049) each develop similarity analyses where disjunction is given a non-Boolean  interpretation to validate  SDA  without validating the other antecedent monotonic patterns. But even this is not the end  of the  SDA  debate.