overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
var FirstNum = 0;
var SecondNum = 0;
print "enter first number";
read FirstNum;
print "enter second number";
read SecondNum;
if FirstNum > SecondNum then
if FirstNum > 9 then
print "First Number is greater then 9";
else
print "First Number is less then 9";
endif;
print "first number is GREATER than second number";
else
print "first number is LESS than second number";
endif;
var z = 0;
print "enter any number to continue";
read z;