Maintenance work on the server at NYU will disrupt FOM communications beginning at 20:00 hours New York time tonight. The down time should be about one hour. Martin Martin Davis Professor Emeritus, Courant-NYU Visiting Scholar, UC Berkeley eipye + 1 = 0