apple tv subgroup of tv, 2 assertions