But anything that can be called "rigor" is lost exactly where the things become interesting and non trivial.