prolongational reductions