Counter class
nclass invariant: component variable tally will always be
greater than or equal to zero.
nThis holds true with the
methods currently defined.
npostcondition: the method count must make sure
that tally is greater or equal
to zero when the method completes execution.