Searching for links to ProofThatEIsIrrational: