If A is B then C.
But A is never B.
A is always A
if names mean anything.
The morning star is the
evening star is
Venus. No.
The morning star is the morning star
The evening star the evening
Venus Venus.
If words mean anything.
If A were B
and A and B were C
they would earn only one
name. And nothing earns
only one name.