REDOS explained