The identity theory of truth faces an objection based on the non-congruence of canonical names of pr...