jnpnso I gave this to chatgpt and asked to infer meaning
it explored some guess that went too far, told to try another guess and to re-read the first line
and so it infered sequential branch merging equations
... I guess I found my new PLT denotational assistant
