 Reply: First, if “in the required sense” means “satisfies LL,” then the objection buys correctness only at the price of begging the question. Advocates of relative identity will maintain that the relation A is the same word type as \(B\) is an identity relation, defined on tokens, that does not satisfy LL.