Symbol: reduction_step