world champion subgroup of champion, 1 assertions