The book under review makes certain claims about natural languages couched in mathematical terms. And so I begin with a caveat (see also Manaster Ramer 1992): as in far too many other books and articles in our field, Ristad consistently and mistakenly uses the words prove and proof when speaking not only about the results concerning welldefined mathematical objects (i.e., formal languages), but...