  The issue of whether a second wave strict analysis (§2.2.1) or a similarity analysis provides a better logic of counterfactuals is very much an open and subtle issue. As sections 2.2.1 and 2.3 detailed, both analyses have their own way of capturing the non-monotonic interpretation of antecedents. Both analyses also have their own way of capturing instances of monotonic inferences that do sound good. Perhaps this issue is destined for a stalemate.[31] But before declaring it such, it is important to investigate two patterns that are potentially more decisive: Simplification of Disjunctive Antecedents, and a pattern not yet discussed called Import-Export.