Links for nd-prover