working on indexifying reductions