Formal Fall 2005