dtr redex added