Readers who interpret a section without the full paper's context may make errors; Tom Hales argued that existing tools could help prevent them.

“But if you're just trying to work out, you know, what's going on in section seven, uh, then you might make an error. And Hales was like, "We need to fix these errors. We've got tools that can do this now."”