REDOS

Definition of REDOS