(define (member? wd sent)
  (if (empty? sent) #t
      (or (equal? wd (first sent))
	  (member? wd (butfirst sent)))))