dtef: