What Needs To Be Proved