(defun appropriate-p (goal op)

 “An op is appropriate to a goal if it is in its add list.”

 (member goal (op-add-list op)))