See above concerning non-distributive reduce.