work on reduction relation