(rd) -> (reduce)