Figure 1:
A non-negative counting function
