Vladimir_Nesov comments on Procedural Knowledge Gaps