equality and reused identifier