free concert subgroup of concert, 4 assertions