Searching for links to DedekindCut: