overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
var FirstNum = 25;
var SecondNum = 15;
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;