add defn