There is nothing incoherent or even surprising about the situation Chisholm described, yet there seemed to be no adequate way to express these statements in any extant system of deontic logic. No matter how the obligation operators, material and formal conditionals, temporal restrictions, etc. were juggled, the formal-language sentences simply did not preserve the logical features of the familiar ordinary language sentences. Consider, for example, the following sentences: