⁵This induces a rapid base coefficient’s growth and doesn’t yield Z-Gröbner bases in the sense of [GTZ88] since the S-pair criteria are different.