k tv subgroup of tv, 13 assertions