overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"

var a = 5;


a =  a + 3;
print a;