that's a shame~ there's a really fun idea buried in there! sometimes some people just aren't cut out to handle formal reasoning and that's okay!
In this case, the GP didn't actually finish reading my article (and thus really has no standing to make any comment on its content); I assume they got filtered by the formalism, which is a shame, but I didn't want to discourage their attempts! Formal verification sometimes just isn't for everyone.
regarding the GP's comments on article content, i suppose maybe one critique could have been sharpened by a closer reading?
> There could be some value buried in there
i'd imagine you agree.
> could have been 10% of its size
likely false, but i interpreted this as an intentional exaggeration
> could have been human written
likely true