Links for prox-checker