exdef