Email Record: The foundations of differential geometry /