Quantifiers in deontic logic | lit.salon