I'm admittedly no Latin expert, so I can't give an authoritative answer, but the translation was actually arrived at on a forum where the author asked for help, and I can see someone asked the same question: https://www.lesswrong.com/posts/qpp6ZdwHLNKj6PXRp/req-latin-...