Deontic_logic loading ...