Modeling 10 with red counters.