Thread:SMiki55/@comment-31463564-20190107200636/@comment-24448826-20190729181532

Indeed. I think the safest thing to do now is to leave the note in place, explaining our assumption, and move on to other discussions.

Plus Miki would you care to remove the “likely”? It’s obsolete, now that the note was restored.