Modeling 5 with red counters.