What dictionary has to say about

deontic logic