for which we have the identity