Email Record: Introduction to differential topology /