sea cave subgroup of cave, 2 assertions