RDUC← Return to RDUC