Andersonian Deontic Logic, Propositional Quantification, and Mally