11 seems to refer to object identity but 12 refers to object equality. Which should it be?