Quote from : Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers Book

Formal mathematics is nature's way of letting you know how sloppy your mathematics is.