Correctness in rule-following requires grasping an abstract rule, not merely matching a pattern inst...
This proposition has not been edited since the history system was added.