Kripke's rule-following considerations show that no finite set of past uses fixes a unique rule for ...