¿Qué demostro REDI con sus experimentos?