overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
var FirstNum = 10;
var SecondNum = 5;
while FirstNum > SecondNum do
print FirstNum;
FirstNum = FirstNum - 1;
endwhile;
print "Enter any number to continue";
read SecondNum;