devises