A Certain Counting Mechanism