DEF is now VOID