PROOF EVERYWHERE