Value-free reductions