“A picture may be worth a thousand words, a formula is worth a thousand pictures” (Edsger Dijkstra).