A REDL