JFun Reduce