 Kratzer formulates the restrictor view of conditionals by relativizing the semantics of modals to two premise sets, a so-called modal base (“hard” facts known or believed by the speaker) and an ordering source (“soft” facts taken to be revisable). Consider a model \(\langle W, \Gamma, \Delta\rangle\) where \(\Gamma\) is a premise function for the ordering source, and \(\Delta\) the premise function for the modal base. Let us assume the Limit assumption and let \(\max_{\Gamma(w)}(F)\) be the set of worlds in a proposition \(F\) that satisfy a maximal set of propositions in \(\Gamma(w)\). Kratzer’s semantics for \(\Box\) is: