we use counters[] instead of attribute COUNTER now