 If we are reading \(\OB\) as simply “it ought to be the case that”, it is not clear that there is anything counterintuitive about \(\OB \top\) (now read as, essentially, “it ought to be that contradictions are false”), but there is also no longer any obvious connection to what is obligatory or permissible for that reading, or to what people ought to do. A different way of avoiding the counterintuitive consequences of \(\OB\)-NEC is by distinguishing between “vacuous” obligations such as \(\OB (p \vee \neg p)\) and those that require the satisfaction of some logically contingent statement such as \(\OB (p \amp \neg q)\). This can, e.g., be done by enriching one’s language with a modal operator \(\Box\) for “settled true” (cf. Belnap 2001 et al., Horty 2001).