Progress on defIntegral