overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
print "Rate King's College from 1 to 10";
var n = 5;
var x = 0;
for x = 0 to n do
print "King's College is the best!";
var z = 0;
for z = x to n do
print z;
end;
end;