It's entirely possible that two people might not come to a unique solution to a problem, but whether or not they'll "disagree" over it requires the additional h

It's entirely possible that two people might not come to a unique solution to a problem, but whether or not they'll "disagree" over it requires the additional hypothesis that they'll pick some "solution" as their own. For instance, someone might come to us asking for a text editor. In the absence of additional constraints (e.g. "it should be lightweight", "it should be extensible", "it should be WYSIWYG", etc), there's no unique solution. A unique solution only arises given some sufficient set of constraints. And the discussion will only degenerate into another vim vs Emacs pissing contest if there's any two people in it, one to defend each editor, who aren't keen enough to appreciate this.