Thinking about language, while thinking in language, leads to puzzles and paradoxes. Babbage tried for a while to invent, or construct, a universal language, a symbol system that would be free of local idiosyncrasies and imperfections. He was not the first to try. Leibniz himself had claimed to be on the verge of a characteristica universalis that would give humanity “a new kind of an instrument increasing the powers of reason far more than any optical instrument has ever aided the power of vision.”