Modeling 10 + 0 with red counters.