 AS and SDA clearly follow from antecedent monotonicity. By contrast, Transitivity and a plausible auxiliary assumption entail antecedent  monotonicity,[22]  and the same is true for  Contraposition.[23]  With these basics in place, it is possible to focus in on each of these analyses in more detail. In doing so, it will become clear that there are important differences even among variants of the similarity analysis and variants of the strict analysis. This entry will focus on what these analyses predict about valid inferences involving counterfactuals.