Symbol: param_saturation_set