Total-enumeration is the default; optional n (should be called max?).