Comment by seanmcdirmid

Which is called an abstract. An abstract on an article about abstraction. Reminds me of a paper I read once:

http://www.ppig.org/papers/20th-blackwell.pdf