redundant DEF attribute deleted