Just some spelling corrections and such...

variable set to the initial value then incremented by 1 after each

^is

loop executed ones. If the initial value higher than the final value the

^s ^^^^once ^is

body of the "do" statement not executed.

^is

In the second form of the command the control variable decremented by 1 in

^is

inside the loop. The code that violate that rule will compile and run - if

^^^() ^s

After the execution of the loop the value of the control variable is undefined. A proper code should not relay on that value.

^^^^^rely