PROOF RESEARCH/GLACIER TI