Links for deduck-prover