 If we wish to validate T, \(\Box p \rightarrow p\) (and derivatively, \(\OB\)-U, \((\OB (\OB p \rightarrow p))\), we need only stipulate that the accessibility relation, R, is reflexive: that each world \(i\) is \(i\)-accessible (possible relative to itself):