enable use of cleveref.sty in open-logic.sty