bases, a special kind of Gröbner bases closely related to Koszul homology, and contains