 Let “\(\OB (q\mid p)\)” be shorthand for a conditional obligation or ought statement like that in the natural language sentence, (3), above. So we will read \(\OB (q\mid p)\) as “if \(p\), then it ought to be (or it is obligatory) that \(q\)”. Suppose we also assume that monadic obligations are disguised dyadic obligations, per the following analysis: