Searching for links to ConstructingTheRationals: