Gareth Evans's proof assumes that '∇(x=y)' attributing vague identity to x is a genuine, determinate...