Isn't everything around you a proof?