Are we sure that the previous object equals() wasn't used in any of Charlie's other code?