deben: