  Recall the major difference between this proposal and the basic strict analysis: the similarity analysis uses a graded notion of similarity instead of an absolute notion of accessibility. It also allows most similar worlds to vary between counterfactuals with different antecedents. These differences invalidate antecedent monotonic inference patterns. This section will introduce similarity analyses in a bit more formal detail and describe the differences between analyses within this family.