added definition for Counter.