simplify identities