polymathwannabe comments on Procedural Knowledge Gaps