some work to typeset mediating reductions