I'm stealing that quote, it's so good. I'm always surprised how ideas that sounded wonderful in my head turn into garbage when written down.
It's layered on top of a quote of Guindon he uses in a book about TLA+ in order to make a point for using math to formally specify systems