good introduction subgroup of introduction, 8 assertions