global proof