fidget spinner subgroup of spinner, 2 assertions