fair die subgroup of die, 1 assertions