Lifted reductionset.
Unused auto-value.