lecture on tangent-bundle geometry today