(set-logic oops