Richard Guy asks (of the sqrt(2008) New Year's puzzle): << Where is The Book solution? Which brings up an interesting question (that has undoubtedly been asked before): Can the concept of a Book Proof be formalized? --Dan