random variable subgroup of variable, 7 assertions