overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
%% LaTeX2e file `re-js.data'
%% generated by the `filecontents' environment
%% from source `main' on 2022/03/16.
%%
0 20
1 20
2 20
3 28
4 35
5 35
6 35
7 35
8 35
9 35
10 35
11 35
12 35
13 35
14 35
15 35
16 35
17 35
18 35
19 35
20 35