The general form of Church’s argument has been exploited by others to reach further puzzling conclusions. For example, it has been used to show that there can be no such thing as vague or “indeterminate” identity (Evans 1978; and for discussion, Parsons 2000). For \(x\) is not vaguely identical to \(x\); hence, if \(x\) is assumed to be vaguely identical to \(y\), then by LL, \(x\) and \(y\) are (absolutely) distinct. As it stands, Evans’ argument shows at best that vaguely identical objects mus