DEFG now also calls DEFGFUN