TAGS: decreases + Bags