Gravar-mail: Quod erat demonstrandum? The mystery of experimental validation of apparently erroneous computational analyses of protein sequences