How would you go about proving such a thing?