formal parameter subgroup of parameter, 2 assertions