Lokhorst lists Mally's 35 theorems and gives a proof for Menger's theorem at the Stanford Encyclopedia of Philosophy under Mally's Deontic Logic. The first plausible system of deontic logic was proposed by G. H. von Wright in his paper Deontic Logic in the philosophical journal Mind in 1951. (Von Wright was also the first to use the term "deontic" in English to refer to this kind of logic although Mally published the German paper Deontik in 1926.) Since the publication of von Wright's seminal paper, many philosophers and computer scientists have investigated and developed systems of deontic logic. Nevertheless, to this day deontic logic remains one of the most controversial and least agreed-upon areas of logic. G. H. von Wright did not base his 1951 deontic logic on the syntax of the propositional calculus as Mally had done, but was instead influenced by alethic modal logics, which Mally had not benefited from. In 1964, von Wright published A New System of Deontic Logic, which was a return to the syntax of the propositional calculus and thus a significant return to Mally's system. (For more on von Wright's departure from and return to the syntax of the propositional calculus, see Deontic Logic: A Personal View and A New System of Deontic Logic, both by Georg Henrik von Wright.) G. H. von Wright's adoption of the modal logic of possibility and necessity for the purposes of normative reasoning was a return to Leibniz. Although von Wright's system represented a significant improvement over Mally's, it raised a number of problems of its own. For example, Ross's paradox applies to von Wright's deontic logic, allowing us to infer from "It is obligatory that the letter is mailed" to "It is obligatory that either the letter is mailed or the letter is burned", which seems to imply it is permissible that the letter is burned. The Good Samaritan paradox also applies to his system, allowing us to infer from "It is obligatory to nurse the man who has been robbed" that "It is obligatory that the man has been robbed". Another major source of puzzlement is Chisholm's paradox. There is no formalisation in von Wright's system of the following claims that allows them to be both jointly satisfiable and logically independent: It ought to be that Jones goes (to the assistance of his neighbors). It ought to be that if Jones goes, then he tells