logoalt Hacker News

amossyesterday at 6:24 AM0 repliesview on HN

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