Reduce a b