Logged out from mint-square.mit.edu at Sat Oct 11 18:11:34 EDT 2008