There's no need to redefine the same `DE`.