. "redduc" . .