 Fintel (2001) and Gillies (2007) observe that similarity analyses render sequences like (31) semantically consistent. Their theories predict this infelicity by providing a theory of how counterfactuals in context can change \(R(w)\). Unlike Fintel (2001), Gillies (2007) does not rely essentially on a similarity ordering over possible worlds to compute these changes to \(R(w)\), and so clearly counts as a second wave strict analysis.[28] The debate over whether counterfactuals are best given a strict or similarity analysis is very much ongoing. Moss (2012), Starr (2014), and K. Lewis (2018) have proposed three different ways of explaining reverse Sobel sequences within a similarity analysis. But Willer (2015, 2017, 2018) has argued on the basis of other data that a dynamic second wave strict analysis is preferable. This argument takes one into a logical comparison of strict and similarity analyses, which will be taken up in §2.4 after the similarity analysis has been presented in more detail.