Kaj_Sotala comments on Procedural Knowledge Gaps