The Art of Formal ELegance