On Feb 9, 2:25 pm, Michael Torrie <torr... at gmail.com> wrote: > Rick seems to know his stuff > about Tk programming, but his knowledge of programming language theory > and formal computing seems quite informal. Not informal, "intuited". If he doesn't already know something, it's apparently not important.