continue reduction relation