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