new cavity subgroup of cavity, 1 assertions