just started negating indices in the definition of \mathbb{D}_r