defn to def