This moved to the blog

“How Knowl retires a fact, and why the check is lexical” is now published as A word list beats embeddings at knowing a fact was reversed.

You should be redirected automatically. If not, follow the link.