finished deontic defeasible logic seciton introduction