NihilCredo comments on Procedural Knowledge Gaps