Not necessary to declare and initialize a counter variable

(Display Figure 6.)

The existence of this clause is the reason that it was not necessary to declare and initialize a counter variable in Listing 2 as was the case in Listing 1.

With a for loop in Alice, the counter variable is automatically declared and initialized as part of the template for the loop structure.