Forgot to date logic.sty and predicates.sty