Modeling 9 with red counters.