adjusted equiv-defn