Corrigiendo la DEF