saturate => DegreeLimit
DegreeLimit => n
-- keyword for an optional argument used with
saturate
which specifies that the computation should halt after dealing with degree n.