Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.
~ Leslie Lamport
