Documentation for CircleCounter.