Contrarily, I'd say that these questions were picked precisely because the author understands the profound difficulty we've encountered in the pursuit of formal

Contrarily, I'd say that these questions were picked precisely because the author understands the profound difficulty we've encountered in the pursuit of formalizing them. Also, at least one of the other questions has a very precise formulation (number 2).