AddMaths 2005, FM V2 Core Papers