Links for proofcheck