 Knowing a rule of inference is not possessing a bit of extra information but being able to perform an intelligent operation. Knowing a rule is knowing how. It is realized in performances which conform to the rule, not in theoretical citations of it. (1946: 7) 