De }f