Searching for links to ProofInATweet: