But anything that can be called "rigor" is lost exactly where the things become interesting and non trivial. — Mikhail Leonidovich Gromov Copy Share Image
