(defmethod exists (val)
  (do ((element *db* (n-element element)))
      ((if (equal (value element) val) (return (format t "Yes"))
	 (return (format t "No"))))))