insertion/removal of reductions ok now
...