 functions exactly like the epistemic modal “might \(\neg A\)”: it is believed (or accepted) if and only if \(A\) is not believed. Thus, if our language includes right-nested conditionals, there are no two belief sets \(K\) and \(K'\) such that \(K\) is a strict subset of \(K'\). Rott argues that it has simply been a mistake to take it for granted that Preservation can and should be transferred from factual language to languages containing nested conditionals.