The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
It used to be the program's purpose to instruct our computers; it became the computer's purpose to execute our programs.
