s parameter subgroup of parameter, 2 assertions