Links for proofpgs