sided die subgroup of die, 2 assertions