What Is A Proof Set