user can return a tool