Redouble

Definition of Redouble