GC Formal_March 2007