AddMaths 2002, FM V2 Core Papers