FLaT Project Mathematics@(2004/09/27)