satellite dish subgroup of dish, 4 assertions