state lottery subgroup of lottery, 1 assertions