Factor out identities!