Modeling 11 with red counters.