His proposal, Thomas J. is a brilliant idea! Sure, mathematical notation can get much more complex than that used for language but it has the preciseness that language lacks in syntax ("I shot an elephant in my pajamas. How he got into my pajamas I'll never know."), semantics ("Iraqi head seeks arms"), pragmatics, etc., which I think may compensate for this difficulty.