Michael Goldstein (@bitstein)

As I said at the beginning, the term itself is pretty nebulous, so there doesn't exist an accepted clear definition. I think you make a good case as to why the arguments ought to be more formalized, so we can see what assumptions are needed to make what arguments, which arguments are stronger or weaker than we thought, etc. Giacomo Zucco had a long presentation trying to do that here: https://www.youtube.com/watch?v=NRH_HepKUZA I'll keep that in mind as I write here.