reduce cabal