Equality, identity, definition