product key subgroup of key, 11 assertions