update after Def simplifications