Links for hyperproof