Definition

Facts

If an initial value is negative, it is never updated.