Links for openproof