This makes so much sense now. I was always sure that the algorithm invented by Buchberger was incredibly complex, but it seems to be easily divisible into parts making it seem much more manageable. It is(s) insane how simple things can be once you put them step-by-step.