PROOF RESEARCH