small satellite subgroup of satellite, 9 assertions