Identities and Normal forms