business major subgroup of major, 2 assertions