Reduction identities