This should be the first post to this mailing list. It is a test and also a greeting to our posterity. I sincerely enjoy this project, and hope that it brings a new avenue for discovery to students of logic everywhere.