summer holiday subgroup of vacation, 3 assertions