“I would have written a shorter letter, but I did not have the time.” — Blaise Pascal · Lettres provinciales, 1657