REDUB

Definition of REDUB