 Assuming a bivalent positive semantics, which ones should we make true and which false? Since the semantics is positive, ‘\(1/0 = 1/0\)’ is automatically true. One might argue further that since ‘\(\le\)’ expresses a relationship weaker than ‘=’ and since ‘\(1/0 = 1/0\)’ is true, ‘\(1/0 \le 1/0\)’ should be true as well. But that is merely to mimic with empty terms an inference pattern that holds for denoting terms. To what extent is such mimicry justified? Suppose we do decide to make ‘\(1/0 \le 1/0\)’ true; should we therefore make ‘\(1/0 \gt 1/0\)’ false? There are no non-arbitrary criteria for answering such questions. To a large extent, of course, the answers don’t matter. There are no facts here; any consistent convention will do. But that’s just the problem. Some convention is needed, and establishing one can be a lot of bother for nothing.