Searching for links to Proof: