Fix reduce in DEF