PROOF RESEARCH SYSTEMS