You are reporting the paste Spivak calculus on manifolds.