PeerInfinity comments on Procedural Knowledge Gaps