Equality and identities