dollar coin subgroup of coin, 9 assertions