Non-regretful reduction