started deontic defeasible logic part and changed some of the styling for the bibliography and the section numbering