Wittgenstein's rule-following considerations entail that no finite symbolic procedure fixes a unique...