REDOUBLES

Definition of REDOUBLES