do reductions tree-like