Modeling 20 + 0 with red counters.