alpha course subgroup of course, 9 assertions