Monday, July 31, 2006

The "logic" page of Theorem(e) has been improved and links have been updated.