 Secondly, even if one insists that in this case intuition dictates that if \(A\) and \(B\) refer to tokens in both conjuncts of (1), then ‘\(A\) is the same word type as \(B\)’ expresses only the similarity relation: A and B are tokens of the same type, there are other cases where, intuitively, both conjuncts of RI involve identity relations and yet the relevant terms all refer to the same kind of things; for example,