ice cave subgroup of cave, 5 assertions