Global Proving