[xamidi]

It's based on natural language in contrast to formal language, thus it is at best a social proof [1].

[1] https://mathweb.ucsd.edu/%7Esbuss/ResearchWeb/handbookI/Chap...