map (print_b_reduce lb_reduce 0 20) terms;
print "------------";
map (print_b_reduce rb_reduce 0 20) terms;