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