Searching for links to ProofByInduction: