 Here \(\Box p\) might mean various things, for example that \(p\) is physically unalterable or necessary as of this moment in  history.[54]  Only if \(p\) is settled true in some sense, can we conclude from \(\OB (q\mid p)\) that \(\OB q\). This certainly helps, but it still leaves us with a bit of a puzzle about why this apparent composite of a conditional and a deontic operator is actually some sort of primitive  idiom.[55]