 The middle Wittgenstein has other grounds for rejecting unrestricted quantification in mathematics, for on his idiosyncratic account, we must distinguish between four categories of concatenations of mathematical symbols.