Kripke's Wittgenstein shows any past use is compatible with infinitely many rules, so no determinate...