Email Record: Foundations of differential geometry /