 When it comes to type variables, there are additional questions about how token variables are to be type-individuated, over and above questions about the individuation conditions of the token variables themselves. This question is not much discussed, but it is natural to think that the type individuation of variables is inherited from the type-individuation of their values. That is: \(X_1\) and \(X_2\) are of the same type if and only if \(X_1\) and \(X_2\) have the same number of potential values, and each those values are of the same type. For instance, the token variables how much I weigh and how much Obama weighs are of the same type, as they both have the same type of potential values (1 kg, 2 kg, etc); on the other hand, how much I weigh and how many pounds of arugula Obama eats are not of the same type, since their potential values are not of the same type.