by amoss 3 days ago

But is fair to state that the verification was *incomplete*, which is what the article does.