Modeling 4 with red counters.