craigd,

Very useful. Good research!

Larry,

Too bad you can't simply call a proof house and ask questions. Good topic for more research though. Certainly worth an article.

Pete