Update open-logic.sty