PROOF RESEARCH / GLACIER