mkehrt comments on Procedural Knowledge Gaps