 This is what Peirce had in mind when he wrote “Every term [predicate] may be conceived as a limitless logical sum of individuals” (1880 [CP 3.217]). We take only objects whose coefficients are 1. Suppose \(A\), \(B\), and \(D\) are women. Applying Peirce’s sign “+” as inclusive-or, \(\unary{w} = \{ A, B, D\}\). Suppose \(A\) is a lover of \(C\), and \(B\) is a lover of \(D\). Then, \(l = \{( A: C), (B:  D)\}\).[16]