monoids: decrementing indexes