Modeling 7 with red counters.