wfdef