 For bare conditionals, Kratzer postulates that the antecedent also restricts a covert modal. This particular assumption is a source of controversy. Several authors point out that while if-clauses may restrict operators, modal operators and conditional operators can also have separate contributions (von Fintel 1994; M. Kaufmann &amp; S. Kaufmann 2015).