 Carlson later came to reject this account of the logical form of generics—in particular, he came to reject the idea that there is a one-place predicate operator such as \(G'\), and instead embraced the idea that any generic operator should instead be two-place (1989). This point is taken up below in the section on the logical form of characterizing generics. First, though, it is helpful to draw a distinction between two different kinds of generics.