  The second part of the treatment of great kinds takes up question (2): What capacity do the five kinds have to associate with one another? The Stranger carries out the analysis for one sample kind, change (Sophist 255e–256d), and argues systematically that change is non-identical with each of the other four kinds (change is not rest, not the same, and so on), but partakes of three of the four—all but rest (for comprehensive analysis of the section, see Brown 2008). Thus it turns out that change both is and is not each of the others (the Stranger even adds the counterfactual: if change could partake of rest there would be nothing strange about calling it resting [Sophist 256b]). The whole analysis is implemented with two relations: non-identity (F-ness is not G-ness, because F-ness partakes of difference from G-ness), and positive predication (F-ness is G, because F-ness partakes of G-ness). For example, change is not the same, because change partakes of difference from the same, but change is the same, because change partakes of sameness in relation to itself (Sophist 256a–b).