What Are We Proving