https://en.synonym.one/deontic logic