AddMaths 2003, FM V2 Core Papers