POLYGRAPHICUM at Proof