Modeling 1 with red counters.