Necessity of identities