Minimal counting systems and commutative monoids