Links for lmproof