removal of redundant defs.