Simplification identities