Reducing
Added redution to step Initial operadic Buchberger