Formal mathematics is nature's way of letting you know how sloppy your mathematics is.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software EngineersOver thinking ruins moods and kills good vibes.
The Remedy: The Five-Week Power Plan to Detox Your System, Combat the Fat, and Rebuild Your Mind and Body