Formal Spring 2008