Room for Robert Frost and Stefan Kohl

@RobertFrost No, this would not "of course prove the conjecture". -- It would still depend very much on what the relation looks like, how it is given and what you can tell about it. -- It may very well happen that you are still at a dead end then.