redouble

not defined yet