What is it?
What does it prove?