Self-identity (a=a) is a logical truth only for terms that successfully refer, but names of continge...