  Where does this leave us in logical the debate between strict and similarity analyses of counterfactuals? Even Import-Export and SDA fail to clearly identify one analysis as superior. It is possible to capture SDA on either analysis. Existing similarity analyses that validate SDA, however, also invalidate SNCA (Alonso-Ovalle 2009; Starr 2014). By contrast existing strict analyses that validate SDA also validate SNCA (Willer 2015, 2017). However, this is far from decisive. The validity of SNCA is still being investigated, and it is far from clear that it is impossible to have a similarity analysis that validates both SDA and SNCA, or a strict analysis that validates only SDA (perhaps using a non-Boolean semantics for disjunction). So even SNCA may fail to be the conclusive pattern needed to separate these analyses.