def != defn