(according to Dror Bar-Natan and Brendan McKay)

A lot of rumours are afloat, about flying saucers and other strange claims. No one of them is available to my verification. This is why I was excited by the paper [WRR94]: at last, I can verify a strange claim!

Well, the computations are correct. What about the source data? I did not check all the machine-readable text of the Torah against some old book, but I can do it. The same for "Encyclopedia of Great Men in Israel", the source of personalities. Here, the verification is a well-defined formal procedure, tedious but feasible. However, to my disappointment, names (appellations) of the personalities are not contained in the Encyclopedia. Moreover, WRR provide no well-defined procedure for verifying their list of appellations.

Is it crucial? Yes, it is! A spectacular demonstration is given in the work

Dror Bar-Natan and Brendan McKay,
Equidistant letter sequences in Tolstoy's "War and Peace",
available online http://cs.anu.edu.au/~bdm/dilugim/WNP/main_mc.html

There, a seemingly slight modification of the list results in the same "hidden codes effect" but... in the Hebrew translation of Tolstoy's novel.

So, I am forced to move Torah codes from the set of claims available to my own verification (mathematical theorems and some other things remain in the set) to the other set (containing flying saucers and some other things), until/unless a better proof will be produced.