online program subgroup of program, 2 assertions