Add basic reduction algorithm.