flexible tripod subgroup of tripod, 4 assertions