syllogism comments on Procedural Knowledge Gaps