Simpler way of expressing counters