On an Attempt to Formalize Guessing | Publicación