"The purpose of abstracting is not to be vague, but to create a new semantic level in which one can be absolutely precise."
January 1, 1970
https://en.wikiquote.org/wiki/Edsger_W._Dijkstra