Fix bugs in logic.lisp