Rename ch/ordered-logic.sty to ordered-logic.sty